1. ......................

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Recursive functions

رده :
Q
111
.
A3
no
.
1317

2. .....................

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Sequential machine theory,، Recursive functions,، Formal languages

رده :
QA
267
.
5
.
S4
E53

3. .....................

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Recursive functions,، Turing machines

رده :
QA
248
.
5
.
J66

4.

المؤلف:

المکتبة: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)

موضوع: Recursive functions

رده :
QA
248
.
5
.
G6A5

5. A recursive introduction to the theory of computation

المؤلف:

المکتبة: (طهران)

موضوع: ، Computer programming,Data processing ، Recursive functions

رده :
QA
76
.
6
.
S52

6. Algorithmen theorie

المؤلف:

المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع: Recursive functions,Algorithms,Formal languages

رده :
511
.
8
L825

7. An introduction to the general theory of algorithms

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Programming languages )Electronic computers(,، Computer algorithms,، Recursive functions

رده :
QA
76
.
7
.
M3

8. Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Aufzählbarkeit.,Berechenbarkeit.,Recursive functions.

9. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit : Einfuhrung in die Theorie der Rekursiven Funktionen

المؤلف:

المکتبة: (طهران)

موضوع: ، Recursive functions

رده :
QA
248
.
5
.
H4
1978

10. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions

رده :
QA
248
.
5
.
H4
1971

11. Computability

المؤلف:

المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع: Recursive functions,Unsolvability )Mathematical logic(,Computable functions

رده :
QA
.
D38
9
.
615
1982

12. Computability /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computable functions,Recursive functions

رده :
QA9
.
59
.
T68
1984

13. Computability

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Computable functions,، Recursive functions

رده :
QA
9
.
59
.
T68
1984

14. Computability

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: ، Computable functions,، Recursive functions

رده :
QA
9
.
59
.
W45
1987

15. Computability : an introduction to recursive function theory

المؤلف:

المکتبة: (طهران)

موضوع: ، Computable functions,، Recursion theory,، Recursive functions

رده :
QA
9
.
59
.
C87
1980

16. Computability and logic

المؤلف:

المکتبة: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)

موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.

رده :
QA
9
.
59
.
B6C6

17. Computability and logic

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :
QA9
.
59
.
B66
2002

18. Computability and logic

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :
E-BOOK

19. Computability and logic

المؤلف:

المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع: Recursive functions,Logic, symbolic and mathematical

رده :
511
.
3
B724c

20. Computability and logic

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computable functions.,Recursive functions.,Logic, Symbolic and mathematical.

رده :
QA
,
9
.
59
,.
B66
,
2002